University of Kiel

Results: 120



#Item
11

EasyCheck Test Data for Free Jan Christiansen & Sebastian Fischer University of Kiel, Germany FLOPS 2008, Ise, Japan

Add to Reading List

Source URL: www-ps.informatik.uni-kiel.de

- Date: 2014-06-15 10:44:15
    12

    The Future of Computing: Logic or Biology Text of a talk given at Christian Albrechts University, Kiel on 11 July 2003 Leslie Lamport 21 July 2003

    Add to Reading List

    Source URL: research.microsoft.com

    - Date: 2003-07-21 12:32:42
      13

      A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

      Add to Reading List

      Source URL: www-ps.informatik.uni-kiel.de

      - Date: 2014-06-15 10:44:21
        14

        Systematic Generation of Glass-Box Test Cases for Functional Logic Programs Herbert Kuchen1 and Sebastian Fischer2 1 University of M¨

        Add to Reading List

        Source URL: www-ps.informatik.uni-kiel.de

        - Date: 2014-06-15 10:44:22
          15

          On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

          Add to Reading List

          Source URL: www-ps.informatik.uni-kiel.de

          - Date: 2014-06-15 10:42:57
            16

            Reinventing Haskell Backtracking Sebastian Fischer Christian-Albrechts University of Kiel, Germany Abstract: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive ba

            Add to Reading List

            Source URL: www-ps.informatik.uni-kiel.de

            - Date: 2014-06-15 10:44:29
              17

              From Functional Logic Programs to Purely Functional Programs Preserving Laziness? Bernd Braßel and Sebastian Fischer Christian-Albrechts-University of Kiel {bbr,sebf}@informatik.uni-kiel.de

              Add to Reading List

              Source URL: www-ps.informatik.uni-kiel.de

              - Date: 2011-03-30 17:21:24
                18

                A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany

                Add to Reading List

                Source URL: www-ps.informatik.uni-kiel.de

                - Date: 2014-06-15 10:44:19
                  19

                  Reinventing Haskell Backtracking Sebastian Fischer Christian-Albrechts University of Kiel, Germany Abstract: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive ba

                  Add to Reading List

                  Source URL: www-ps.informatik.uni-kiel.de

                  - Date: 2014-06-15 10:44:24
                    20

                    Financial Globalization, Financial Frictions and Monetary Policy Ester Faia Goethe University Frankfurt, Kiel IfW and CEPREMAP Eleni Iliopulos PSE, University of Paris 1 Pantheon-Sorbonne and CEPREMAP

                    Add to Reading List

                    Source URL: www.monfispol.eu

                    - Date: 2011-04-20 14:05:39
                      UPDATE